The Generativity Pattern in Rust
arhan.sh·21h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·8h
✅Archive Validation
Relative Completeness of Incorrectness Separation Logic
arxiv.org·11h
🧠Separation Logic
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·2h·
Discuss: www.blogger.com
🌳Persistent Data Structures
How Rust powers Proton Authenticator
proton.me·20h
🦀Rust Borrowing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
A New Concurrent ML in Guile Scheme
wingolog.org·6h·
Discuss: Hacker News
🔄Lens Laws
Oxidizing Fedora 🦀
weeklyrust.substack.com·23h·
Discuss: Substack
🦀Rust Borrowing
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·23h·
Discuss: Hacker News
🦀Rust Borrowing
Case study: enhancing SBOMs with cdsbom at the Linux Foundation
opensource.org·1h
🔓Open Source Software
Week 31 Status
blogs.gnome.org·17h
🎯Gradual Typing
In Support Of Shitty Types
lucumr.pocoo.org·21h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·23h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
DO NOT BUY "Practical Rust" By James Maina
reddit.com·19h·
Discuss: r/rust
🦀Rust Macros
Generalizing over mutability in Rust
alexsaveau.dev·6d
🦀Rust Macros
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·2d·
Discuss: DEV
🔧Binary Parsing